An Algebra of Actors

An Algebra of Actors Based on True Concurrency

An algebra of actors Aπ fully captures the properties of actors based on asynchronous π-calculus, but, it is based on the interleaving bisimulation semantics. We adjust Aπ to Aπtc to make Aπ having a truly concurrent semantics. We give the syntax and operational semantics of Aπtc, and also the truly concurrent semantics model and algebraic laws of Aπtc.

Towards an Algebra of Actors

We present a study of the interaction properties of objects in concurrent object oriented programming. We identify a set of basic interaction mechanisms: object identity, asynchronous message passing, implicit receive primitive, which are closed to those of the actor model. Then, we define a minimal algebra of actors as a basic formalism for representing the semantics of concurrent object orien...

Existence of an Algebra Norm on Certain Subalgebras of C(X)

Fully Abstract Game Semantics for Actors

Along the way paved by the recent concurrent game semantics for process algebra CCS and π-calculus, based on the basic characteristics of the actor computational model and the very reductive semantics for actors, we establish a fully abstract concurrent game semantics for actors by borrowing the algebraic structure from CCS. This semantics can both be seen as an innocent presheaf semantics, and...

On subalgebras of an evolution algebra of a "chicken" population

We consider an evolution algebra which corresponds to a bisexual population with a set of females partitioned into finitely many different types and the males having only one type. For such algebras in terms of its structure constants we calculate right and plenary periods of generator elements. Some results on subalgebras of EACP and ideals on low-dimensional EACP are obtained.

Reactive Programming using the Algebra of Communicating Processes

R&D on reactive programming is growing and this has delivered quite many language constructs, libraries and tools. Scala programmers can use threads, timers, actors, futures, promises, observables, the async construct, and others. Still it seems to us that the state of the art is not mature: reactive programming is relatively hard, and confidence in correct operation depends mainly on extensive...